|
|
1.
基于Partial MAX-SAT求解法的RBAC授权查询方法
孙伟 李艳灵 鲁骏
计算机应用
2013, 33 (05):
1367-1390.
DOI: 10.3724/SP.J.1087.2013.01367
为保证系统的安全性并体现授权的有效性，结合部分最大可满足性问题(Partial MAX-SAT)的研究，提出一种基于Partial MAX-SAT求解法的授权查询方法。使用转换规则将静态授权逻辑和动态互斥角色约束转化为严格子句，采用子句更新算法将满足不同匹配的请求权限转化为松弛子句，并利用子句编码及递归算法寻求真值指派，以满足所有严格子句和尽可能多的松弛子句。实验结果表明，该方法搜索的角色组合能够保证系统的安全性，并满足最小权限分配要求，且最大、精确匹配请求的查询效率优于MAX-SAT求解法。
参考文献 |
相关文章 |
多维度评价
|
|
